Representation and distributivity of Boolean algebras
نویسندگان
چکیده
منابع مشابه
The Representation of Boolean Algebras
1. Introduction. In this brief address I shall set myself a twofold aim: to review the theory of Boolean algebras, as we understand it today, and to sketch certain historical phases of its development. Although I am in no sense prepared to offer the fruits of painstaking historical research, I believe that by a few pertinent historical observations I shall be able to bring out the underlying ev...
متن کاملA representation theorem for Boolean contact algebras
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus [20] (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces.
متن کاملThe Stone Representation Theorem for Boolean Algebras
The Stone Representation Theorem for Boolean Algebras, first proved by M. H. Stone in 1936 ([4]), states that every Boolean algebra is isomorphic to a field of sets. This paper motivates and presents a proof.
متن کاملOn representation and approximation of operations in Boolean algebras
Several universal approximation and universal representation results are known for non Boolean multi valued logics such as fuzzy logics In this paper we show that similar results can be proven for multi valued Boolean logics as well Introduction The study of Boolean algebras started when G Boole con sidered the simplest Boolean algebra the two valued algebra B f g ffalse trueg In this algebra t...
متن کاملDistributivity and associativity in effect algebras
We prove “large associativity” of the partial sum in effect algebras and present an overview of distributivity-like properties of partial operations ⊕ and in effect algebras with respect to (possibly infinite) suprema and infima and vice versa generalizing several previous results.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Colloquium Mathematicum
سال: 1961
ISSN: 0010-1354,1730-6302
DOI: 10.4064/cm-8-1-1-13